1.78/3.00	unsat
