16.88/18.31	unsat
