16.34/17.87	unsat
