1.29/3.08	unsat
