17.84/17.89	unsat
