20.47/20.66	unsat
