12.26/12.52	unsat
