15.94/17.02	unsat
