23.55/26.53	unsat
