12.27/14.22	unsat
