16.55/16.78	unsat
