20.46/20.66	unsat
