1.29/2.08	unsat
