21.68/25.76	unsat
