17.95/21.18	unsat
