16.94/18.26	unsat
