18.95/20.09	unsat
