18.55/18.77	unsat
