23.55/26.13	unsat
