18.85/20.22	unsat
