91.27/92.94	unsat
