21.94/22.15	unsat
