92.46/92.69	unsat
