1.68/3.00	unsat
