18.85/20.82	unsat
