15.97/18.10	unsat
