17.57/17.78	unsat
