22.47/24.45	unsat
