0.78/1.04	unsat
