95.50/98.53	unsat
