92.64/92.71	unsat
