1.29/3.13	unsat
