23.55/24.32	unsat
