16.97/18.29	unsat
