16.55/17.78	unsat
