22.44/24.71	unsat
