1.29/5.12	unsat
