0.79/1.04	unsat
