17.76/17.81	unsat
