1.29/6.07	unsat
