16.85/18.33	unsat
