74.18/92.48	unsat
