21.54/21.83	unsat
