1.19/3.00	unsat
