1.29/3.24	unsat
