14.47/16.61	unsat
