21.76/22.37	unsat
