22.46/23.76	unsat
