92.42/95.65	unsat
