17.95/20.66	unsat
