0.19/1.04	unsat
