21.85/22.15	unsat
