22.19/22.76	unsat
