91.87/92.04	unsat
