14.29/15.47	unsat
