12.47/14.16	unsat
