14.94/16.31	unsat
