92.12/92.35	unsat
