19.95/21.66	unsat
