10.29/12.35	unsat
