18.85/22.42	unsat
