21.76/25.04	unsat
