23.43/24.47	unsat
