17.55/18.23	unsat
