20.28/20.66	unsat
