92.77/92.95	unsat
