22.26/23.76	unsat
