21.85/22.66	unsat
