92.12/94.71	unsat
