22.85/23.96	unsat
