16.41/17.89	unsat
