23.63/25.53	unsat
