1.02/1.04	unsat
