14.94/16.58	unsat
