95.28/95.94	unsat
