1.29/3.00	unsat
