417.68/417.78	unsat
