1.29/4.07	unsat
