16.94/18.30	unsat
