12.26/12.35	unsat
