1.19/2.04	unsat
