18.95/20.52	unsat
