17.76/17.86	unsat
