18.95/20.65	unsat
