20.95/22.49	unsat
