26.52/26.66	unsat
