16.55/17.73	unsat
