12.17/12.35	unsat
