12.27/14.52	unsat
