15.97/17.82	unsat
