15.82/17.01	unsat
