16.24/17.89	unsat
