23.25/24.55	unsat
