0.80/1.04	unsat
