16.94/16.99	unsat
