14.88/16.79	unsat
