23.44/24.40	unsat
