23.06/24.55	unsat
